j' < oo
j < X
